An Expressive Language and Efficient Execution System for Software Agents
نویسندگان
چکیده
منابع مشابه
An Expressive Language and Efficient Execution System for Software Agents
Software agents can be used to automate many of the tedious, time-consuming information processing tasks that humans currently have to complete manually. However, to do so, agent plans must be capable of representing the myriad of actions and control flows required to perform those tasks. In addition, since these tasks can require integrating multiple sources of remote information – typically, ...
متن کاملAn Efficient Application Virtualization Mechanism using Separated Software Execution System
With the development of cloud computing and virtualization technologies, application virtualization becomes an innovative software usage model. However, the existing solutions show a very limited performance on 3D graphics applications. To solve the problems, we propose a new application virtualization mechanism using separated software execution system. The proposed system does not execute 3D ...
متن کاملnano-rods zno as an efficient catalyst for the synthesis of chromene phosphonates, direct amidation and formylation of amines
چکیده ندارد.
Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language
The verification of model transformations is key for the adoption of model-driven engineering in academic and industrial processes. In this work, we provide a verification technique for our model transformation language DSLTrans, which is both confluent and terminating by construction. This technique proves structural pre-condition/ post-condition structural contracts for all inputs to a transf...
متن کاملA Language for the Execution of Graded BDI Agents
In this paper we present a calculus for the execution of Multi-context system with its corresponding semantics. This calculus is general enough to support different kinds of MCSs and particularly, we show how a graded BDI agent can be mapped to the language proposed. The graded BDI agent model is based on multi-context systems and is able to deal with graded mental attitudes. Taking advantage o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2005
ISSN: 1076-9757
DOI: 10.1613/jair.1548